梯形abcb<b+<c=90',mn分别是ad和bc的中点,证mn=0.5*(bc-ad)